361. Mathematical logic in Asia
پدیدآورنده : / editors, S.S. Goncharov, R. Downey, H. Ono
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
Q
,
334
,.
A853
,
2005
362. Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
پدیدآورنده : editors, S. S. Goncharov, R. Downey, H. Ono
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1A84
2005
363. Mathematical logic in Latin America
پدیدآورنده : / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L37
,
1978
364. Mathematical logic in Latin America
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
365. Mathematical logic in Latin America :
پدیدآورنده : edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L37
1978
366. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
367. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده : editor, Zbigniew W. Ras
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
368. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
369. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
370. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
371. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
پدیدآورنده : edited by C. A. Di Prisco
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1130
372. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
1130
373. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
پدیدآورنده : edited by C. A. Diprisco
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
374. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
پدیدآورنده : R. Studer ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
459
375. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
376. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
377. Non-standard analysis
پدیدآورنده : / Abraham Robinson revised edition
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974
378. Nonclassical logics and information processing : International Workshop, Berlin, November 9-10, 1990 : proceedings
پدیدآورنده : D. Pearce, H. Wansing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
619
379. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
380. Pacific Symposium on Biocomputing 2002, Kauai, Hawaii, 3-7 January 2002 /
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2002eb
